POLITICS: Automated Ideological Reasoning*

POLITICS: Automated Ideological Reasoning

Mapping the ideological networks of American climate politics

How dowe understand national climate change politics in the United States? Using a methodological innovation in network analysis, this paper analyzes discussions about the issue within the US Congress. Through this analysis, the ideological relationships among speakers providing Congressional testimony on the issue of climate change are mapped. For the first time, issue stances of actors are sy...

Automated Reasoning

Analogy and Automated Reasoning Analogy and Automated Reasoning

We survey the state of the art in the use of analogy in automated reasoning. We are particularly interested in the work of Melis and Whittle (1998). A detailed analysis of their analogy mechanism is given. The problem domain that they tackled is inductive theorems. We examine whether their technique can be used in other problems domains, e.g. in the domain of limit theorems and group theory.

Theory-Specific Automated Reasoning

In designing a large-scale computerized proof system, one is often confronted with issues of two kinds: issues regarding an underlying logical calculus, and issues that refer to theories, either specified axiomatically or characterized by indication of either a privileged model or a family of intended models. Proof services related to the theories most often take the form of satisfiability deci...